cbb7e26a7df40bec6d387c220c116449f7187948,java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/ContractInference.java,ContractInferenceInterpreter,visitExpression,#List#PsiExpression#,141
Before Change
final ValueConstraint constraint = getLiteralConstraint(expr);
if (constraint != null) {
return toContracts(states, constraint);
}
int paramIndex = resolveParameter(expr);
After Change
final ValueConstraint constraint = getLiteralConstraint(expr);
if (constraint != null) {
return asPreContracts(toContracts(states, constraint));
}
int paramIndex = resolveParameter(expr);